Texinfo usage fixes.
authorRichard M. Stallman <rms@gnu.org>
Tue, 23 Jul 2002 19:10:02 +0000 (19:10 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 23 Jul 2002 19:10:02 +0000 (19:10 +0000)
commitfc81197fc5d9501c91b9b17c44abc8e1d02eeafb
tree5e4a566fbdf9be3a165ee795668d14699debd9ca
parentd8eb9f01c318925074a7548a5274a2d3e333241d
Texinfo usage fixes.
man/widget.texi